1. Software engineering, analysis and verification
پدیدآورنده : Lewis, Theodore Gyle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Verification ، Computers programs
رده :
QA
76
.
6
.
L477
1982
2. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
4. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975